connexive logic
Connexive logic - Wikipedia
Connexive Logic (Stanford Encyclopedia of Philosophy)
古典論理より強くも弱くもない論理 - 論理学FAQのブログ
以下を妥當にする。代はりに何か公理を落とす
Ἀριστοτέλης の theses (AT) :
$ \neg(\neg P\to P)
,
$ \neg(P\to\neg P)
Boethius の theses (BT) :
$ (P\to Q)\to\neg(P\to\neg Q)
,
$ (P\to\neg Q)\to\neg(P\to Q)